Equivariant ZFA with Choice: a position paper
نویسنده
چکیده
We propose Equivariant ZFA with Choice as a foundation for nominal techniques that is stronger than ZFC and weaker than FM, and why this may be particularly helpful in the context of automated reasoning.
منابع مشابه
Equivariant ZFA and the foundations of nominal techniques
We give an accessible presentation to the foundations of nominal techniques, lying between Zermelo-Fraenkel set theory and Fraenkel-Mostowski set theory, and which has several nice properties including being consistent with the Axiom of Choice. We give two presentations of equivariance, accompanied by detailed yet user-friendly discussions of its theoretical significance and practical application.
متن کاملRing structures of mod p equivariant cohomology rings and ring homomorphisms between them
In this paper, we consider a class of connected oriented (with respect to Z/p) closed G-manifolds with a non-empty finite fixed point set, each of which is G-equivariantly formal, where G = Z/p and p is an odd prime. Using localization theorem and equivariant index, we give an explicit description of the mod p equivariant cohomology ring of such a G-manifold in terms of algebra. This makes ...
متن کاملThe cumulative hierarchy and the constructible universe of ZFA
We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all we refine a result of Forti and Honsell (see [5]) in order to prove that the universe of ZFA can also be obtained (without appealing to choice) as the least fixed point of a continuous operator and not only as the greatest fixed point of the powerset operator. Next w...
متن کامل[Medical care of terminally ill patients].
Give us 5 minutes and we will show you the best book to read today. This is it, the medical care of terminally ill patients that will be your best choice for better reading book. Your five times will not spend wasted by reading this website. You can take the book as a source to make better concept. Referring the books that can be situated with your needs is sometime difficult. But here, this is...
متن کاملIndependence of an Equivariant and Invariant Functions in Generalized Normal Family
In this paper we explain a necessary and sufficent condition for independence between any arbitrary statistics with sufficient statistics which is also maximum likelihood estimator in a general exponential family with location and scale parameter namely generalized normal distribution. At the end, it is shown that the converse is true except in the asymptotic cases.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2018